A Default-Logic Paradigm for Legal Reasoning and Factfinding
نویسندگان
چکیده
منابع مشابه
A Default-logic Paradigm for Legal Fact-finding
Unlike research in linguistics and artificial intelligence, legal research has not used advances in logical theory very effectively. This article uses default logic to develop a paradigm for analyzing the reasoning behind legal fact-finding. The article provides a formal model that integrates legal rules and policies with the evaluation of both expert and nonexpert evidence—whether the fact-fin...
متن کاملA Default-Logic Framework for Legal Reasoning in Multiagent Systems
Using law and evidence to achieve fair and accurate decisions in numerous legal cases requires a complex multiagent system. This paper discusses a framework based on many-valued, predicate, default logic that successfully captures legal knowledge, integrates and evaluates expert and non-expert evidence, coordinates agents working on different legal problems, and evolves the knowledge model over...
متن کاملA Logic for Default Reasoning
The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non.monotonJcity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize ...
متن کاملA Logic for Default Reasoning About Probabilities
A logic is defined that allows to express in formation about statistical probabilities and about degrees of belief in specific proposi tions. By interpreting the two types of proba bilities in one common probability space, the semantics given are well suited to model the influence of statistical information on the for mation of subjective beliefs. Cross entropy minimization is a key element...
متن کاملA Modal Logic for Subjective Default Reasoning
In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of \If , then normally ". On top of providing a well-de ned tool for analyzing common default reasoning, DML allows nesting of the default operator. We present a semantic framework in which many of the known default proof systems can be naturally characteri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SSRN Electronic Journal
سال: 2006
ISSN: 1556-5068
DOI: 10.2139/ssrn.908626